
Solutions de Cybersécurité des Objets connectés
Prove & Run est un éditeur de logiciels destinés à protéger les systèmes connectés contre les cyber-attaques. La société a mis au point une technologie à base de méthodes formelles permettant de développer à des coûts industriels des composants complexes (systèmes d’exploitation, hyperviseurs) formellement prouvés et certifiables au plus haut niveau d’assurance, qui doivent être utilisés pour protéger les systèmes industriels et objets connectés contre les attaques à distance.
In English — Proven Software to secure the IoT
Source : Données publiques des entreprises (INSEE, RNE) · vérifié le 30/09/2026
Prove & Run ne propose pas d'offre pour le moment. Publiez votre offre
Prove & Run est un éditeur de logiciels destinés à protéger les systèmes connectés contre les cyber-attaques. La société a mis au point une technologie à base de méthodes formelles permettant de développer à des coûts industriels des composants complexes (systèmes d’exploitation, hyperviseurs) formellement prouvés et certifiables au plus haut niveau d’assurance, qui doivent être utilisés pour protéger les systèmes industriels et objets connectés contre les attaques à distance.
Levée de fonds, recrutement, cofondateur, partenariat, cession, recherche de locaux.
Déposer une annonce → Gratuit, vérifiée avant publication. Voir les annoncesPublicité
Prove & Run, Directeur General